首页> 外文OA文献 >Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers

【2h】

Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers

机译：实时内存控制器动态命令调度的建模与验证

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

Real-Time and Embedded Technology and Applications Symposium (RTAS 2016). 11 to 14, Apr, 2016, Track 3: Embedded Systems Design for Real-Time Applications. Vienna, Austria.

机译：实时和嵌入式技术与应用研讨会（RTAS 2016）。 2016年4月11日至14日，专题3：实时应用的嵌入式系统设计。维也纳，奥地利。

著录项

作者
Li, Yonghui; Åkesson, Benny; Goossens, Kees;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. Architecture and analysis of a dynamically-scheduled real-time memory controller [J] . Li Yonghui, Akesson Benny, Goossens Kees Real-time systems . 2016,第5期

机译：动态调度的实时内存控制器的体系结构和分析
2. CADS: Core-Aware Dynamic Scheduler for Multicore Memory Controllers [J] . Eduardo Olmedo Sanchez, Xian He Sun Computer Science & Information Technology . 2019,第7期

机译：CADS：多核内存控制器的内核感知动态调度程序
3. Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude [J] . Jiaxiang Liu, Min Zhou, Xiaoyu Song, IEEE Transactions on Industrial Electronics . 2017,第4期

机译：带有实时Maude的速率单调调度实现的形式化建模和验证
4. Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers [C] . Yonghui Li, Benny Akesson, Kai Lampka, IEEE Real-Time and Embedded Technology and Applications Symposium . 2016

机译：实时内存控制器动态命令调度的建模与验证
5. Design of a smart non-volatile memory controller: Architecture modeling, systems analysis, parallel I/O processing and scheduling algorithms. [D] . Jung, Myoungsoo. 2013

机译：智能非易失性存储器控制器的设计：体系结构建模，系统分析，并行I / O处理和调度算法。
6. A quantitative model of conserved macroscopic dynamics predicts future motor commands [O] . Connor Brennan, Alexander Proekt -1

机译：保守的宏观动力学的定量模型预测未来的运动指令
7. Dynamic Command Scheduling for Real-Time Memory Controllers [O] . Yonghui Li, Benny Akesson, Kees Goossens 2014

机译：实时内存控制器的动态命令调度
8. Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL [R] . Havelund, Klaus, Larsen, Kim Guldstrand, Skou, Arne 1999

机译：使用实时模型检查器UppaaL对电源控制器进行形式验证

Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅